Results for 'P. D. Aquino'

959 found
Order:
  1. Quotient Fields of a Model of IDelta~0 + Omega~1.P. D. Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
     
    Export citation  
     
    Bookmark  
  2.  74
    Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
    Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  42
    Corrigendum to: “Real closed fields and models of arithmetic”.P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2):726-726.
  4. Real closed fields and models of arithmetic (vol 75, pg 1, 2010).P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2).
  5.  21
    Quotient Fields of a Model of IΔ0 + Ω1.Paola D'Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
    In [4] the authors studied the residue field of a model M of IΔ0 + Ω1 for the principal ideal generated by a prime p. One of the main results is that M/ has a unique extension of each finite degree. In this paper we are interested in understanding the structure of any quotient field of M, i.e. we will study the quotient M/I for I a maximal ideal of M. We prove that any quotient field of M satisfies the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  30
    Pizzorni, R, O. P., Il fondamento etico-religioso del diritto secondo S. Tomaso d’Aquino[REVIEW]P. Rubio - 1968 - Augustinianum 8 (2):420-421.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Fra natura e grazia: epistemologia aristotelica e visione beatifica in Tommaso d'Aquino.P. Bernardini - 2002 - Annali Della Facoltà di Lettere E Filosofia:Università di Siena 23:109-136.
    No categories
     
    Export citation  
     
    Bookmark  
  8. BARTOLOMEI P. T., O. S. M., "Idealismo e Realismo; L'Idealismo italiano contemporaneo esaminato alla luce delle dottrine di S. Tommaso d'Aquino. Esposizione sistematico-critica dell'idealismo soggettivo di B: Croce e di G. Gentile". [REVIEW]D. G. D. G. - 1937 - Giornale Critico Della Filosofia Italiana 5:299.
    No categories
     
    Export citation  
     
    Bookmark  
  9. A. Walz: San Tommaso d'Aquino[REVIEW]J. P. Müller - 1948 - Freiburger Zeitschrift für Philosophie Und Theologie 26:122.
    No categories
     
    Export citation  
     
    Bookmark  
  10. La conoscenza pratica secondo S. Tomaso d'Aquino: esame lessicografico e concettuale del termine «practicus».P. Scelsi - 1995 - Divus Thomas 98 (2):9-49.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  49
    "L'Antropologia Filosofica di San Tommaso d'Aquino," by Sofia Vanni Rovighi. [REVIEW]George P. Klubertanz - 1966 - Modern Schoolman 43 (4):436-436.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. A. Masnovo: Da Guglielmo d'Auvergne a S. Tommaso d'Aquino[REVIEW]J. P. Müller - 1948 - Freiburger Zeitschrift für Philosophie Und Theologie 26:470.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  37
    "Friar Thomas d'Aquino: His Life, Thought, and Work," by James A. Weisheipl, O.P. [REVIEW]Dennis A. Rohatyn - 1976 - Modern Schoolman 53 (4):417-423.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. James A. Weisheipl, O. P., "Friar Thomas d'Aquino. His Life, Thought, and Work". [REVIEW]William A. Wallace - 1974 - The Thomist 38 (4):937.
     
    Export citation  
     
    Bookmark  
  15.  8
    La metafisica di S. Tommaso d'Aquino e i suoi interpreti.Battista Mondin - 2002 - Bologna, Italia: Edizioni Studio Domenicano.
    S. Tommaso occupa un posto di enorme importanza nella Storia della Metafisica. Ma la sua è una dottrina originale, o una rielaborazione della metafisica aristotelica e di quella neoplatonica? Per rispondere a questa domanda il P. Battista Mondin, con il suo solito stile chiaro ed essenziale, nella Prima Parte del volume presenta le principali interpretazioni della metafisica di S. Tommaso; nella seconda espone approfonditamente le caratteristiche e le grandi ricchezze della concezione metafisica dell'Aquinate, nei suoi vari aspetti: Tommaso e la (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  7
    Oltre Babele: la Sentenza di Tommaso d'Aquino sulla Politica di Aristotele.Tommaso D'Aquino - 2022 - Roma, Italia: IF Press. Edited by Thomas.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  65
    Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.
  18.  7
    L'unità dell'intelletto =.Tommaso D'Aquino - 2012 - Bologna: Edizioni Studio domenicano. Edited by Thomas & Daniele Didero.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  47
    Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.
    We consider the theory and its weak fragments in the language of arithmetic expanded with the functional symbol . We prove that and its weak fragments, down to and , are subject to the Tennenbaum phenomenon with respect to , , and . For the last two theories it is still unknown if they may have nonstandard recursive models in the usual language of arithmetic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Ouvrages envoyes a la redaction.Tommaso D'Aquino & Abbaye V. Saint-Wandrille de Fontenelle - 1984 - Nouvelle Revue Théologique 106:317.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  83
    Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2011 - Archive for Mathematical Logic 50 (7-8):681-695.
    Let R be a real closed field. An integer part I for R is a discretely ordered subring such that for every \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}rR{r \in R}\end{document}, there exists an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}iI{i \in I}\end{document} so that i ≤ r < i + 1. Mourgues and Ressayre (J Symb Logic 58:641–647, 1993) showed that every real closed field has an integer part. The procedure of Mourgues and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. La conoscenza mattutina E vespertina degli angeli”.Tommaso D'Aquino - 1992 - Medioevo 18:169-202.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  32
    Pell equations and exponentiation in fragments of arithmetic.Paola D'Aquino - 1996 - Annals of Pure and Applied Logic 77 (1):1-34.
    We study the relative strength of the two axioms Every Pell equation has a nontrivial solution Exponentiation is total over weak fragments, and we show they are equivalent over IE1. We then define the graph of the exponential function using only existentially bounded quantifiers in the language of arithmetic expanded with the symbol #, where # = x[log2y]. We prove the recursion laws of exponentiation in the corresponding fragment.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  24.  30
    Quadratic forms in models of IΔ0+ Ω1, Part II: Local equivalence.Paola D’Aquino & Angus Macintyre - 2011 - Annals of Pure and Applied Logic 162 (6):447-456.
    In this second paper of the series we do a local analysis of quadratic forms over completions of a non-standard model of IΔ0+Ω1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  48
    A sharpened version of McAloon's theorem on initial segments of models of IΔ0.Paola D'Aquino - 1993 - Annals of Pure and Applied Logic 61 (1):49-62.
    A generalization is given of McAloon's result on initial segments ofmodels of GlΔ0, the fragment of Peano Arithmetic where the induction scheme is restricted to formulas with bounded quantifiers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  70
    Quadratic forms in models of I Δ 0 + Ω 1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1):31-48.
    Gauss used quadratic forms in his second proof of quadratic reciprocity. In this paper we begin to develop a theory of binary quadratic forms over weak fragments of Peano Arithmetic, with a view to reproducing Gauss’ proof in this setting.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Solving Pell equations locally in models of IΔ0.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
    In [4] it is shown that only using exponentiation can one prove the existence of non trivial solutions of Pell equations in IΔ 0 . However, in this paper we will prove that any Pell equation has a non trivial solution modulo m for every m in IΔ 0.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  49
    A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields.Paola D’Aquino, Salma Kuhlmann & Karen Lange - 2015 - Journal of Symbolic Logic 80 (1):194-206.
    We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization forκ-saturation, for a cardinal$\kappa \ge \aleph _0 $. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Etica e società contemporanea: atti del III Congresso internazionale della S.I.T.A.Abelardo Società Internazionale Tommaso D'aquino & Lobato (eds.) - 1992 - [Vatican City]: Libreria editrice vaticana.
    1. Etica e coscienza. Etica, scienza e tecnica -- 2. Etica e cultura. Etica e politica -- 3. Etica ed economia. Problemi de etica.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  30
    Erratum to: Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2015 - Archive for Mathematical Logic 54 (3-4):487-489.
  31.  53
    Backward mediated positive transfer in a paired-associate task.P. D. McCormack - 1961 - Journal of Experimental Psychology 61 (2):138.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  19
    Ennius, Suetonius and the Genesis of Horace, Odes 4.P. D. Hills - 2001 - Classical Quarterly 51 (2):613-616.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Realist Ennui and the Base Rate Fallacy.P. D. Magnus & Craig Callender - 2004 - Philosophy of Science 71 (3):320-338.
    The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   125 citations  
  34.  27
    A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
    In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in π are equal in ℝ and if two exponential polynomials in π and i coincide in ℂ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  29
    How (not) to exempt platonic forms from parmenides' third man.D. P. - 1997 - Phronesis 42 (1):1-20.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Inductions, Red Herrings, and the Best Explanation for the Mixed Record of Science.P. D. Magnus - 2010 - British Journal for the Philosophy of Science 61 (4):803-819.
    Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  37. Teorii︠a︡ poznanii︠a︡ Immanuila Kanta.P. D. Shashkevich - 1960 - Moskva,: VPSh.
     
    Export citation  
     
    Bookmark  
  38.  9
    Istoricheskiĭ progress i involi︠u︡t︠s︡ii︠a︡ idealov: ėtiko-filosofskoe issledovanie.P. D. Simashenkov - 2017 - Samara: "Izdatelʹstvo ASGard".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. The development of rule-use in childhood.P. D. Zelazo - 2008 - In Silvia A. Bunge & Jonathan D. Wallis, Neuroscience of rule-guided behavior. New York: Oxford University Press. pp. 441--456.
     
    Export citation  
     
    Bookmark  
  40. Generative AI and photographic transparency.P. D. Magnus - forthcoming - AI and Society:1-6.
    There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  74
    Value Education in a Pluralist Society.P. D. Walsh - 1976 - Journal of Philosophy of Education 10 (1):24-33.
    P D Walsh; Value Education in a Pluralist Society, Journal of Philosophy of Education, Volume 10, Issue 1, 30 May 2006, Pages 24–33, https://doi.org/10.1111/j.1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  69
    New waves in philosophy of science.P. D. Magnus & Jacob Busch (eds.) - 2009 - New York: Palgrave-Macmillan.
    Introduction 1 P. D. Magnus and Jacob Busch 1. Form-driven vs. Content-driven Arguments for Realism 8 Juha Saatsi 2. Optimism about the Pessimistic Induction 29 Sherrilyn Roush 3. Metaphysics between the Sciences and Philosophies of Science 59 Anjan Chakravartty 4. Nominalism and Inductive Generalizations 78 Jessica Pfeifer 5. Models and Scientific Representations 94 Otávio Bueno 6. The Identical Rivals Response to Underdetermination 112 Gregory Frost-Arnold and P. D. Magnus 7. Scientific Representation and the Semiotics of Pictures 131 Laura Perini 8. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  96
    Ultimate truth vis- à- vis stable truth.P. D. Welch - 2008 - Review of Symbolic Logic 1 (1):126-142.
    We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  44.  16
    Pain and the placebo response.P. D. Wall - 1993 - In Gregory R. Bock & Joan Marsh, Experimental and Theoretical Studies of Consciousness (CIBA Foundation Symposia Series, No. 174). Wiley. pp. 187-216.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  14
    Gender und Martyrium in hebräischen Erzählungen zum Ersten Kreuzzug 1096.P. D. MagMartha Keil - 2016 - Das Mittelalter 21 (1).
    Name der Zeitschrift: Das Mittelalter Jahrgang: 21 Heft: 1 Seiten: 83-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Management Ideology.P. D. Anthony - 2005 - In Christopher Grey & Hugh Willmott, Critical Management Studies:A Reader: A Reader. Oxford University Press.
     
    Export citation  
     
    Bookmark  
  47.  18
    'n Preek van HCM Fourie na aanleiding van die Oktober-rewolusie in 1917.P. D. Smith - 1988 - HTS Theological Studies 44 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Underdetermination and the Claims of Science.P. D. Magnus - 2003 - Dissertation, University of California, San Diego
    The underdetermination of theory by evidence is supposed to be a reason to rethink science. It is not. Many authors claim that underdetermination has momentous consequences for the status of scientific claims, but such claims are hidden in an umbra of obscurity and a penumbra of equivocation. So many various phenomena pass for `underdetermination' that it's tempting to think that it is no unified phenomenon at all, so I begin by providing a framework within which all these worries can be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  49.  19
    Applications of the Oxford-JEOL aberration-corrected electron microscope.P. D. Nellist & A. I. Kirkland - 2010 - Philosophical Magazine 90 (35-36):4751-4767.
  50.  90
    Marginalia in Wittgenstein's Copy of Lamb's Hydrodynamics.P. D. M. Spelt & Brian McGuinness - 2001 - In Gianluigi Oliveri, From the Tractatus to the Tractatus and other essays. New York: Peter Lang. pp. 131-47.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 959